home *** CD-ROM | disk | FTP | other *** search
/ Aminet 12 / Aminet 12 (1996)(GTI - Schatztruhe)[!][Jun 1996].iso / Aminet / dev / e / eiffel.lha / flc / docs / boolean.doc < prev    next >
Encoding:
Text File  |  1996-01-25  |  790 b   |  21 lines
  1.  
  2. -- Boolean values
  3.  
  4. expanded class interface BOOLEAN
  5. exported features
  6.   infix "and" (other:BOOLEAN):BOOLEAN
  7.     -- Boolean conjunction of current boolean and 'other'
  8.   infix "and then" (other:BOOLEAN):BOOLEAN
  9.     -- Boolean semi-strict conjunction of current boolean and 'other'
  10.   infix "implies" (other:BOOLEAN):BOOLEAN
  11.     -- Boolean implication of current boolean and 'other' (semi-strict)
  12.   prefix "not":BOOLEAN
  13.     -- Negation of current boolean
  14.   infix "or" (other:BOOLEAN):BOOLEAN
  15.     -- Boolean disjunction of current boolean and 'other'
  16.   infix "or else" (other:BOOLEAN):BOOLEAN
  17.     -- Boolean semi-strict disjounction of current boolean and 'other'
  18.   infix "xor" (other:BOOLEAN):BOOLEAN
  19.     -- Boolean exclusive or of current boolean and 'other'
  20. end interface -- class 'BOOLEAN'
  21.